package org.goobs.logic;

public enum Symbol {
	FORALL,
	EXISTS,
	AND,
	OR,
	NOT,
	EQUALS,
	COND,
	BICOND,
	UNK;
	
	public static Symbol parse(String input){
		try {
			return valueOf(input.substring(1).toUpperCase());
		} catch (RuntimeException e) {
			return UNK;
		}
	}
	
}
